Coordinated Atomic Actions: from Concept to Implementation

نویسندگان

  • B. Randell
  • A. Romanovsky
چکیده

The Coordinated Atomic Action (or CA action) concept is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in a distributed object-oriented system. It provides a conceptual framework for dealing with different kinds of concurrency and achieving fault tolerance by extending and integrating two complementary concepts — conversations and transactions. Conversations (enhanced with concurrent exception handling) are used to control cooperative concurrency and to implement coordinated error recovery whilst transactions are used to maintain the consistency of shared resources in the presence of failures and competitive concurrency. This paper explains the CA action concept in detail and then addresses related design issues such as multi-thread coordination, exception handling and resolution, coordinated access to shared objects and provision of software fault tolerance. Finally, brief details are given of a number of experimental prototype implementations and case studies.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Implementing Synchronous Coordinated Atomic Actions Based on Forward Error Recovery

Coordinated atomic action concept is proposed as a means for providing fault tolerance in complex object oriented systems which incorporate both cooperative and competitive concurrency. This paper has two purposes: to discuss a particular implementation of this concept and to address many implementation issues which are common for any experiments with this concept. Our implementation relies on ...

متن کامل

Coordinated atomic actions as a technique for implementing distributed gamma computation

The intentions of this paper are to discuss Coordinated Atomic actions and to demonstrate how they can be used in a very new application area. We apply this concept to designing a particular case of the Gamma computational paradigm, i.e. distributed Gamma computation. Within our approach, each Gamma reaction is an action. We demonstrate how Gamma computation can be effectively implemented in co...

متن کامل

Coordinated Atomic Actions: Formal Model, Case Study and System Implementation

The Coordinated Atomic Action (or CA action) concept is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting components in a distributed object system. It provides a conceptual framework for dealing with different kinds of concurrency and achieving fault tolerance by integrating and extending two complementary concepts — conv...

متن کامل

Using the B Method for the Formalization of Coordinated Atomic Actions

Coordinated Atomic Actions have been proven successful for building dependable distributed systems due to their support for error recovery for both competitive and cooperative concurrent activities. This chapter introduces the formal specification of Coordinated Atomic Actions emphasizing the formalization of proposed dependability mechanisms using the B formal method. The specification then al...

متن کامل

Implementation of blocking coordinated atomic actions based on forward error recovery

The coordinated atomic action concept was proposed as a means for providing fault tolerance in complex object-oriented systems that incorporate both cooperative and competitive concurrency. This paper has two purposes: to discuss a particular implementation of this concept and to address a number of the implementation issues that are common to any experiments with this concept. Our implementati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997